Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study
نویسنده
چکیده
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
منابع مشابه
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains Š and a Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملModeling Actions with Rami£cations in Nondeterministic, Concurrent, and Continuous Domains— And A Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملA Circumscriptive Calculus of Events
A calculus of events is presented in which domain constraints, concurrent events, and events with non-deterministic effects can be represented. The paper offers a non-monotonic solution to the frame problem for this formalism that combines two of the techniques developed for the situation calculus, namely causal and state-based minimisation. A theorem is presented which guarantees that temporal...
متن کاملRepresenting Action Domains with Numeric-Valued Fluents
We present a general method to formalize action domains with numericvalued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language C+ and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in...
متن کاملPlanning with Nondeterministic Actions and Sensing
Many planning problems involve nondeterministic actions actions whose effects are not completely determined by the state of the world before the action is executed. In this paper we consider the computational complexity of planning in domains where such actions are available. We give a formal model of nondeterministic actions and sensing, together with an action language for specifying planning...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000